This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning,The papers ...
Lire la suiteThis book constitutes the refereed proceedings of the 18th International Conference on Inductive Logic Programming, ILP 2008, ...
Lire la suiteThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suiteThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suite